#include<stdio.h>
typedef unsigned char *byte_pointer;
void show_bytes(byte_pointer start, size_t len) {
    size_t i;
    for (i = 0; i < len; i++)
	printf(" %.2x", start[i]);    //line:data:show_bytes_printf
    printf("\n");
}
int main(){
	int x=53191;
	short sx=(short) x;
	int y=sx;
	printf("%d\n", y);
	printf("%.2x\n", *(&y));
}
